New Program Abstractions for Privacy

Static program analysis, once seen primarily as a tool for optimising programs, is now increasingly important as a means to provide quality guarantees about programs. One measure of quality is the extent to which programs respect the privacy of user data. Differential privacy is a rigorous quantified definition of privacy which guarantees a bound on the loss of privacy due to the release of statistical queries. Among the benefits enjoyed by the definition of differential privacy are compositionality properties that allow differentially private analyses to be built from pieces and combined in various ways. This has led to the development of frameworks for the construction of differentially private program analyses which are private-by-construction. Past frameworks assume that the sensitive data is collected centrally, and processed by a trusted curator. However, the main examples of differential privacy applied in practice - for example in the use of differential privacy in Google Chrome’s collection of browsing statistics, or Apple’s training of predictive messaging in iOS 10 -use a purely local mechanism applied at the data source, thus avoiding the collection of sensitive data altogether. While this is a benefit of the local approach, with systems like Apple’s, users are required to completely trust that the analysis running on their system has the claimed privacy properties. In this position paper we outline some key challenges in developing static analyses for analysing differential privacy, and propose novel abstractions for describing the behaviour of probabilistic programs not previously used in static analyses

Marginal Release Under Local Differential Privacy

Many analysis and machine learning tasks require the availability of marginal statistics on multidimensional datasets while providing strong privacy guarantees for the data subjects. Applications for these statistics range from finding correlations in the data to fitting sophisticated prediction models. In this paper, we provide a set of algorithms for materializing marginal statistics under the strong model of local differential privacy. We prove the first tight theoretical bounds on the accuracy of marginals compiled under each approach, perform empirical evaluation to confirm these bounds, and evaluate them for tasks such as modeling and correlation testing. Our results show that releasing information based on (local) Fourier transformations of the input is preferable to alternatives based directly on (local) marginals

βA3/A1-Crystallin controls anoikis-mediated cell death in astrocytes by modulating PI3K/AKT/mTOR and ERK survival pathways through the PKD/Bit1-signaling axis

During eye development, apoptosis is vital to the maturation of highly specialized structures such as the lens and retina. Several forms of apoptosis have been described, including anoikis, a form of apoptosis triggered by inadequate or inappropriate cell–matrix contacts. The anoikis regulators, Bit1 (Bcl-2 inhibitor of transcription-1) and protein kinase-D (PKD), are expressed in developing lens when the organelles are present in lens fibers, but are downregulated as active denucleation is initiated. We have previously shown that in rats with a spontaneous mutation in the Cryba1 gene, coding for βA3/A1-crystallin, normal denucleation of lens fibers is inhibited. In rats with this mutation (Nuc1), both Bit1 and PKD remain abnormally high in lens fiber cells. To determine whether βA3/A1-crystallin has a role in anoikis, we induced anoikis in vitro and conducted mechanistic studies on astrocytes, cells known to express βA3/A1-crystallin. The expression pattern of Bit1 in retina correlates temporally with the development of astrocytes. Our data also indicate that loss of βA3/A1-crystallin in astrocytes results in a failure of Bit1 to be trafficked to the Golgi, thereby suppressing anoikis. This loss of βA3/A1-crystallin also induces insulin-like growth factor-II, which increases cell survival and growth by modulating the phosphatidylinositol-3-kinase (PI3K)/AKT/mTOR and extracellular signal-regulated kinase pathways. We propose that βA3/A1-crystallin is a novel regulator of both life and death decisions in ocular astrocytes

A life-course and time perspective on the construct validity of psychological distress in women and men. Measurement invariance of the K6 across gender

<p>Abstract</p> <p>Background</p> <p>Psychological distress is a widespread indicator of mental health and mental illness in research and clinical settings. A recurrent finding from epidemiological studies and population surveys is that women report a higher mean level and a higher prevalence of psychological distress than men. These differences may reflect, to some extent, cultural norms associated with the expression of distress in women and men. Assuming that these norms differ across age groups and that they evolve over time, one would expect gender differences in psychological distress to vary over the life-course and over time. The objective of this study was to investigate the construct validity of a psychological distress scale, the K6, across gender in different age groups and over a twelve-year period.</p> <p>Methods</p> <p>This study is based on data from the Canadian National Population Health Survey (C-NPHS). Psychological distress was assessed with the K6, a scale developed by Kessler and his colleagues. Data were examined through multi-group confirmatory factor analyses. Increasing levels of measurement and structural invariance across gender were assessed cross-sectionally with data from cycle 1 (n = 13019) of the C-NPHS and longitudinally with cycles 1 (1994-1995), 4 (2000-2001) and 7 (2006-2007).</p> <p>Results</p> <p>Higher levels of measurement and structural invariance across gender were reached only after the constraint of equivalence was relaxed for various parameters of a few items of the K6. Some items had a different pattern of gender non invariance across age groups and over the course of the study. Gender differences in the expression of psychological distress may vary over the lifespan and over a 12-year period without markedly affecting the construct validity of the K6.</p> <p>Conclusions</p> <p>This study confirms the cross-gender construct validity of psychological distress as assessed with the K6 despite differences in the expression of some symptoms in women and in men over the life-course and over time. Findings suggest that the higher mean level of psychological distress observed in women reflects a true difference in distress and is unlikely to be gender-biased. Gender differences in psychological distress are an important public health and clinical issue and further researches are needed to decipher the factors underlying these differences.</p

Significant Association of Estrogen Receptor Binding Site Variation with Bipolar Disorder in Females

Major depression is nearly twice as prevalent in women compared to men. In bipolar disorder, depressive episodes have been reported to be more common amongst female patients. Furthermore, periods of depression often correlate with periods of hormonal fluctuations. A link between hormone signaling and these mood disorders has, therefore, been suggested to exist in many studies. Estrogen, one of the primary female sex hormones, mediates its effect mostly by binding to estrogen receptors (ERs). Nuclear ERs function as transcription factors and regulate gene transcription by binding to specific DNA sequences. A nucleotide change in the binding sequence might alter the binding efficiency, which could affect transcription levels of nearby genes. In order to investigate if variation in ER DNA-binding sequences may be involved in mood disorders, we conducted a genome-wide study of ER DNA-binding in patients diagnosed with major depression or bipolar disorder. Association studies were performed within each gender separately and the results were corrected for multiple testing by the Bonferroni method. In the female bipolar disorder material a significant association result was found for rs6023059 (corrected p-value = 0.023; odds ratio (OR) 0.681, 95% confidence interval (CI) 0.570–0.814), a single nucleotide polymorphism (SNP) placed downstream of the gene coding for transglutaminase 2 (TGM2). Thus, females with a specific genotype at this SNP may be more vulnerable to fluctuating estrogen levels, which may then act as a triggering factor for bipolar disorder

Primary sequence of Xenopus laevis Na+-K+-ATPase and its localization in A6 kidney cells

Polyclonal antibodies raised against the alpha- and beta-subunits of amphibian kidney Na+-K+-ATPase were used to screen an expression library from Xenopus laevis kidney epithelial cells (A6 cell line). cDNAs coding for each Na+-K+-ATPase subunit were identified and used to isolate near full-length cDNAs. The complete nucleotide sequence and the deduced amino acid sequence were determined. The alpha-subunit is an alpha (alpha I)-isoform. The alpha- and beta-subunits are more closely related to the mammalian and avian than the fish sequences. Antibodies raised against the fusion proteins produced by the two clones served to immunoprecipitate proteins from biosynthetically labeled or selectively surface-radioiodinated A6 cells grown on a porous substrate. The alpha- and the beta-subunits of Na+-K+-ATPase were found associated early in the course of biosynthesis and were restricted to the basolateral plasma membrane